Sections-4.agda:7,10-14
Could not parse the application _! X
Operators used in the grammar:
  None
when scope checking _! X
